Hilbert ’ s investigations of the foundations of arithmetic ( 1935 )
نویسنده
چکیده
“Variablengattung” is translated as “type of variables” or “variable type;” “Art von Variablen” as “sort of variables.” “Inhaltlich” is rendered as “contentually,” “methodisch” as “methodical.” The long quotations from Hilbert are in a quote environment, without quotation marks. The German text (and page numbering) is from Hilbert’s Gesammelte Abhandlungen, vol. 3, p. 196–216. Many references in the footnotes! Citing of titles as well as proper names have to be unified.
منابع مشابه
Categorical Quantum Mechanics
Our aim is to revisit the mathematical foundations of quantum mechanics from a novel point of view. The standard axiomatic presentation of quantum mechanics in terms of Hilbert spaces, essentially due to von Neumann [1932], has provided the mathematical bedrock of the subject for over 70 years. Why, then, might it be worthwhile to revisit it now? First and foremost, the advent of quantum inform...
متن کاملHilbert's programs: 1917--1922
Hilbert's finitist program was not created at the beginning of the twenties solely to counteract Brouwer's intuitionism, but rather emerged out of broad philosophical reflections on the foundations of mathematics and out of detailed logical work; that is evident from notes of lecture courses that were given by Hilbert and prepared in collaboration with Bernays during the period from 1917 to 192...
متن کاملKronecker in Contemporary Mathematics. General Arithmetic as a Foundational Programme
tion “General Arithmetic” (Allgemeine Arithmetik). In his view, arithmetic is the building block of the whole edifice of mathematics. The aim of this paper is to show that Kronecker’s arithmetical philosophy and mathematical practice have exerted a permanent influence on a long tradition of mathematicians from Hilbert to Weil, Grothendieck and Langlands. The conclusion hints at a constructivist...
متن کاملThe solutions to the operator equation $TXS^* -SX^*T^*=A$ in Hilbert $C^*$-modules
In this paper, we find explicit solution to the operator equation $TXS^* -SX^*T^*=A$ in the general setting of the adjointable operators between Hilbert $C^*$-modules, when $T,S$ have closed ranges and $S$ is a self adjoint operator.
متن کاملPrimitive Recursive Arithmetic and Its Role in the Foundations of Arithmetic: Historical and Philosophical Reflections
We discuss both the historical roots of Skolem’s primitive recursive arithmetic, its essential role in the foundations of arithmetic, its relation to the finitism of Hilbert and Bernays, and its relation to Kant’s philosophy of mathematics. 1. Skolem tells us in the Concluding Remark of his seminal paper on primitive recursive arithmetic (PRA), “The foundations of arithmetic established by mean...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
دوره شماره
صفحات -
تاریخ انتشار 2003